algebra of logic

См. также в других словарях:

• algebra of logic — logikos algebra statusas T sritis automatika atitikmenys: angl. algebra of logic vok. Algebra der Logik, f; logische Algebra, f rus. алгебра логики, f pranc. algèbre logique, f …   Automatikos terminų žodynas

• logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

• algebra — /al jeuh breuh/, n. 1. the branch of mathematics that deals with general statements of relations, utilizing letters and other symbols to represent specific sets of numbers, values, vectors, etc., in the description of such relations. 2. any of… …   Universalium

• logic — Synonyms and related words: Aristotelian logic, Boolean algebra, Ramistic logic, admissibility, aesthetics, algebra of classes, algebra of relations, axiology, casuistry, common sense, cosmology, deduction, dialectic, dialectics, doctrine of… …   Moby Thesaurus

• logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… …   Universalium

• logic — The general science of inference. Deductive logic, in which a conclusion follows from a set of premises, is distinguished from inductive logic, which studies the way in which premises may support a conclusion without entailing it. In deductive… …   Philosophy dictionary

• Algebra der Logik — logikos algebra statusas T sritis automatika atitikmenys: angl. algebra of logic vok. Algebra der Logik, f; logische Algebra, f rus. алгебра логики, f pranc. algèbre logique, f …   Automatikos terminų žodynas

• algebra — n. 1 the branch of mathematics that uses letters and other general symbols to represent numbers and quantities in formulae and equations. 2 a system of this based on given axioms (linear algebra; the algebra of logic). Derivatives: algebraic adj …   Useful english dictionary

• Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… …   History of philosophy

• Logic synthesis — is a process by which an abstract form of desired circuit behavior (typically register transfer level (RTL) or behavioral) is turned into a design implementation in terms of logic gates. Common examples of this process include synthesis of HDLs,… …   Wikipedia

• Álgebra de Boole — (también llamada Retículas booleanas) en informática y matemática, es una estructura algebraica que esquematiza las operaciones lógicas Y, O , NO y Si (AND,OR,NOT,IF), así como el conjunto de operaciones unión, intersección y complemento. Se… …   Wikipedia Español